From 08261f38ff17b56fef4283361e365e72640fa465 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Thu, 29 May 2025 00:02:09 +0200
Subject: [PATCH] dateMenu: Stop using ratio character for time

The recommendation was dropped from the HIG 3 years ago without
communicating to developers that they should update their code.

Do that now.

[0] https://gitlab.gnome.org/Teams/Websites/developer.gnome.org-hig/-/commit/41d6b4a56f04

Related: https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/2618
Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/3732>
---
 js/ui/dateMenu.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/js/ui/dateMenu.js b/js/ui/dateMenu.js
index 39687c321..213d72e95 100644
--- a/js/ui/dateMenu.js
+++ b/js/ui/dateMenu.js
@@ -500,7 +500,7 @@ class WorldClocksSection extends St.Button {
         const prefix = offsetCurrentTz >= 0 ? '+' : '-';
         const text = offsetMinutes === 0
             ? `${prefix}${offsetHours}`
-            : `${prefix}${offsetHours}\u2236${offsetMinutes}`;
+            : `${prefix}${offsetHours}:${offsetMinutes}`;
         return text;
     }
 
-- 
2.39.5